The Case of Description and Hybrid Logics
نویسنده
چکیده
xiii
منابع مشابه
Incremental Decision Procedures for Modal Logic with Nominals and Eventualities
This thesis contributes to the study of incremental decision procedures for modal logics with nominals and eventualities. Eventualities are constructs that allow to reason about the reflexive-transitive closure of relations. Eventualities are an essential feature of temporal logics and propositional dynamic logic (PDL). Nominals extend modal logics with the possibility to reason about state equ...
متن کاملCompeting Logics and Healthcare; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
This paper offers a short commentary on the editorial by Mannion and Exworthy. The paper highlights the positive insights offered by their analysis into the tensions between the competing institutional logics of standardization and customization in healthcare, in part manifested in the conflict between managers and professionals, and endorses the plea of the authors for further research in this...
متن کاملFrom Description to Hybrid Logics, and Back
Building on work by Schild, De Giacomo and Lenzerini, we establish a tight connection between description logics and hybrid logics. The main aim of the paper is to provide a modal perspective on some of the distinguishing features of description logic. In particular, by working in a hybrid logic setting we are able to develop a model-theoretic understanding of both assertional and terminologica...
متن کاملA Hybrid Tableau Algorithm for ALCQ
We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Description Logic (DL) ALCQ which extends ALC with qualified number restrictions. The hybrid approach ensures a more informed calculus which, on the one hand, adequately handles the interaction between numerical and logical restriction...
متن کاملDescription and/or Hybrid Logics
Improving on work by Schild, De Giacomo and Lenzerini, we establish a tight connection between description logics and hybrid logics, and use this to transfer results on complexity and expressive power from one to the other.
متن کامل